#pragma once
#include <arch/riscv64/io.h>
int init_serial();
char read_serial();
void write_serial(char a);
void serial_printk(char *buf, int len);
